if AB || CD